Modeling manufacturing dependability

نویسندگان

  • Armen Zakarian
  • Andrew Kusiak
چکیده

In this paper, an analytical approach for the availability evaluation of cellular manufacturing systems is presented, where a manufacturing system is considered operational as long as its production capacity requirements are satisfied. The advantage of the approach is that constructing a system level Markov chain (a complex task) is not required. A manufacturing system is decomposed into two subsystems, i.e., machining system and material handling system. The machining subsystem is in turn decomposed into machine cells. For each machine cell and material handling subsystem, a Markovian model is derived and solved to find the probability of a subset of working machines in each cell, and a subset of the operating material handling carriers that satisfies the manufacturing capacity requirements. The overall manufacturing system availability is obtained using a procedure presented in the paper. The novelty of the approach is that it incorporates imperfect coverage and imperfect repair factors in the Markovian models. The approach is used to evaluate transient and steady-state performance of three alternative designs based on an industrial example. Detailed discussion of the results and the impact of imperfect coverage and imperfect repair on the availability of manufacturing system is presented. Possible extensions of the work and software tools available for model analysis are also discussed.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Performance and Dependability Evaluation of Manufacturing Systems Using Petri Nets

The importance of modeling and performance evaluation for the design of manufacturing systems is obvious. A new modeling method based on Colored Petri Nets is introduced in this paper, which is especially tailored to manufacturing systems. We propose the separate modeling of the manufacturing system's structure and the production routes with dedicated colored Petri nets. After an automatic comp...

متن کامل

Composite performance-dependability analysis of cellular manufacturing systems

This paper deals with the transient analysis of manufacturing systems in the presence of failures and repairs. The exact model is decomposed into 1) a structure state process, modeling the failure and repair events which occur at a slower time scale, and 2) a performance model, modeling the part processing and material movement events occurring at a faster time scale. The solutions of these two...

متن کامل

Improving Automation Software Dependability: A Role For Formal Methods?

The growth of manufacturing control software from simple NC and PLC-based systems to concurrent networked systems incorporating PC’s, PLC’s and CNC’s has created new challenges to the maintenance of safe and dependable manufacturing operations. Key milestones in this evolution, and the prospects for the use of formal verification methods in achieving enhanced dependability of future manufacturi...

متن کامل

Discrete Control for Dependable IT Automation

Information technology (IT) administration is increasingly automated. Workflows—concurrent programs written in very-high-level languages—are an increasingly popular IT automation technology. Like multithreaded programming, workflow programming is notoriously difficult and error prone. Concurrency, resource contention, race conditions, and similar issues lead to subtle bugs that can survive test...

متن کامل

IEEE Transactions on Industrial Informatics CALL FOR PAPERS

The Theme: Automation systems are increasingly taking advantage of the opportunities afforded by information technology to offer new and original functions and solutions. The specific constraints of the automation domain on the other side lead to new requirements towards the dependability – especially safety and security – of the information technology used. This Special Section on “Information...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • IEEE Trans. Robotics and Automation

دوره 13  شماره 

صفحات  -

تاریخ انتشار 1997